exitProperties

Exit a parse tree produced by SchemaParser#properties.

The default implementation does nothing.